例文
- This article mainly illustrates a system of ternary propositional logic using the truth values { false, unknown, true }, and extends conventional Boolean connectives to a trivalent context.
- It can be shown using such identities that a subset of the CTL temporal connectives is adequate if it contains EU, at least one of \ { AX, EX \ } and at least one of \ { EG, AF, AU \ } and the boolean connectives.
